🔗 Linear Lisp - abnv · Scour

Quieno/izalloc: Drop-in, dependency-free, minimal memory allocator in C that passes 42 Shool's norm.

github.com·1d·

Discuss: r/C_Programming

🧠Memory Allocators

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking

arxiv.org·1d

🔍Type Inference

Rewriting Claude Code in Rust

dev.to·15h·

Discuss: DEV

🚂Cranelift Backend

Lean and AI caught a bug in my 2-year-old TLA+ spec

medium.com·23h·

Discuss: Hacker News

🎯Symbolic Execution

Token Optimization: Compressing Context for Cheaper Agents

sitepoint.com·12h

🌊Streaming Lexers

Beyond Pandas: Architecting High-Performance Python Pipelines

hackernoon.com·11h

📋JSON Parsing

Show HN: Sabela – A Reactive Notebook for Haskell

datahaskell.org·1d·

Discuss: Lobsters, Hacker News

⚡functional programming

Oreo: Protecting ASLR Against Microarchitectural Attacks

papers.cool·1d

🏷️Memory Tagging

Grammar-Constrained (CFL) Reachability: Subcubic Preprocessing, Indexing Trade-offs, and Structured Decoding Semantics

arxiv.org·1d

🔗Lexical Scoping

Scoped Resources in C with `__attribute__((mulle_confined_loop))`

mulle-kybernetik.com·20h

🔀Control Structures

Implementing constexpr parameters using C++26 reflection (kind of)

godbolt.org·2h·

Discuss: r/cpp

🔗Lexical Scoping

LLVM 22.1 Released With Backend, LLDB, and ThinLTO Updates

linuxiac.com·21h

Lil' Fun Langs' Guts

taylor.town·2d·

Discuss: Lobsters, Hacker News, r/programming

🪆Embedded DSLs

Bridging the Semantic Gap in Neural Network Execution and Verification for Safety-Critical Systems

dev.to·12h·

Discuss: DEV

🗺️Region Inference

Show HN: Valkey-powered semantic memory for Claude Code sessions

news.ycombinator.com·13h·

Discuss: Hacker News

📏Linear Memory

IaC in AWS with canned templates, price estimates, low-code, CLI

stacktape.com·16h

💬Smalltalk VMs

extended C*-algebra in nLab

ncatlab.org·12h

🔗Category Theory

The Architecture Behind Open-Source LLMs

blog.bytebytego.com·15h

🗺️Region Inference

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

🧮Theorem Provers

The 185-Microsecond Type Hint

blog.sturdystatistics.com·9h·

Discuss: Lobsters, Hacker News, r/programming

⚡Interpreter Optimization

Loading more...